Conjunt de punts i conjunt de veïnats que satisfan axiomes que relacionen aquests punts i aquests veïnats.